public class X01f {

          /*****************************************
           *
           * Returns true
           * 
           *****************************************/
          void foo() {
          }
}
